(0 16 3)(1 17 10)(2 9 6)(4 14 8)(5 12 7)(11 15 13)
ALLOWS (11/8)-SEQUENCE
1: (5 7 12)
(0 16 3)(1 17 10)(2 9 6)(4 14 8)(5 7 12)(11 15 13)
2: (2 9 6)
(0 16 3)(1 17 10)(2)(4 14 8)(5 7 12)(6)(9)(11 15 13)
3: (5 7 12)
(0 16 3)(1 17 10)(2)(4 14 8)(5)(6)(7)(9)(11 15 13)(12)
4: (4 14 8)
(0 16 3)(1 17 10)(2)(4)(5)(6)(7)(8)(9)(11 15 13)(12)(14)